Computing Discrete Logarithms in the Jacobian of High-Genus Hyperelliptic Curves over Even Characteristic Finite Fields

We describe improved versions of index-calculus algorithms for solving discrete logarithm problems in Jacobians of high-genus hyperelliptic curves defined over even characteristic fields. Our first improvement is to incorporate several ideas for the low-genus case by Gaudry and Theriault, including the large prime variant and using a smaller factor base, into the large-genus algorithm of Enge and Gaudry. We extend the analysis in [24] to our new algorithm, allowing us to predict accurately the number of random walk steps required to find all relations, and to select optimal degree bounds for the factor base. Our second improvement is the adaptation of sieving techniques from Flassenberg and Paulus, and Jacobson to our setting. The new algorithms are applied to concrete problem instances arising from the Weil descent attack methodology for solving the elliptic curve discrete logarithm problem, demonstrating significant improvements in practice

Cryptographic Aspects of Real Hyperelliptic Curves

In this paper, we give an overview of cryptographic applications using real hyperelliptic curves. We review previously proposed cryptographic protocols, and discuss the infrastructure of a real hyperelliptic curve, the mathematical structure underlying all these protocols. We then describe recent improvements to infrastructure arithmetic, including explicit formulas for divisor arithmetic in genus 2; and advances in solving the infrastructure discrete logarithm problem, whose presumed intractability is the basis of security for the related cryptographic protocols

Explicit Formulas for Real Hyperelliptic Curves of Genus 2 in Affine Representation

We present a complete set of efficient explicit formulas for arithmetic in the degree 0 divisor class group of a genus two real hyperelliptic curve given in affine coordinates. In addition to formulas suitable for curves defined over an arbitrary finite field, we give simplified versions for both the odd and the even characteristic cases. Formulas for baby steps, inverse baby steps, divisor addition, doubling, and special cases such as adding a degenerate divisor are provided, with variations for divisors given in reduced and adapted basis. We describe the improvements and the correctness together with a comprehensive analysis of the number of field operations for each operation. Finally, we perform a direct comparison of cryptographic protocols using explicit formulas for real hyperelliptic curves with the corresponding protocols presented in the imaginary model

One-loop Renormalization of Black Hole Entropy Due to Non-minimally Coupled Matter

The quantum entanglement entropy of an eternal black hole is studied. We argue that the relevant Euclidean path integral is taken over fields defined on $\alpha$-fold covering of the black hole instanton. The statement that divergences of the entropy are renormalized by renormalization of gravitational couplings in the effective action is proved for non-minimally coupled scalar matter. The relationship of entanglement and thermodynamical entropies is discussed.Comment: 17 pages, latex, no figure

Classical Scalar Fields and the Generalized Second Law

It has been shown that classical non-minimally coupled scalar fields can violate all of the standard energy conditions in general relativity. Violations of the null and averaged null energy conditions obtainable with such fields have been suggested as possible exotic matter candidates required for the maintenance of traversable wormholes. In this paper, we explore the possibility that if such fields exist, they might be used to produce large negative energy fluxes and macroscopic violations of the generalized second law (GSL) of thermodynamics. We find that it appears to be very easy to produce large magnitude negative energy fluxes in flat spacetime. However we also find, somewhat surprisingly, that these same types of fluxes injected into a black hole do {\it not} produce violations of the GSL. This is true even in cases where the flux results in a decrease in the area of the horizon. We demonstrate that two effects are responsible for the rescue of the GSL: the acausal behavior of the horizon and the modification of the usual black hole entropy formula by an additional term which depends on the scalar field.Comment: 25 pages, 2 figures; paper substantially rewritten, major changes in the conclusion

Metric Fluctuation Corrections to Hawking Radiation

We study how fluctuations of the black hole geometry affect the properties of Hawking radiation. Even though we treat the fluctuations classically, we believe that the results so obtained indicate what might be the effects induced by quantum fluctuations in a self consistent treatment. To characterize the fluctuations, we use the model introduced by York in which they are described by an advanced Vaidya metric with a fluctuating mass. Under the assumption of spherical symmetry, we solve the equation of null outgoing rays. Then, by neglecting the greybody factor, we calculate the late time corrections to the s-wave contributions of the energy flux and the asymptotic spectrum. We find three kind of modifications. Firstly, the energy flux fluctuates around its average value with amplitudes and frequencies determined by those of the metric fluctuations. Secondly, this average value receives two positive contributions one of which can be reinterpreted as due to the `renormalisation' of the surface gravity induced by the metric fluctuations. Finally, the asymptotic spectrum is modified by the addition of terms containing thermal factors in which the frequency of the metric fluctuations acts as a chemical potential.Comment: 27 pages, 2 figures, LaTeX. Revised versio

Maximal Abelian Subgroups of the Isometry and Conformal Groups of Euclidean and Minkowski Spaces

The maximal Abelian subalgebras of the Euclidean e(p,0) and pseudoeuclidean e(p,1)Lie algebras are classified into conjugacy classes under the action of the corresponding Lie groups E(p,0) and E(p,1), and also under the conformal groups O(p+1,1) and O(p+1,2), respectively. The results are presented in terms of decomposition theorems. For e(p,0) orthogonally indecomposable MASAs exist only for p=1 and p=2. For e(p,1), on the other hand, orthogonally indecomposable MASAs exist for all values of p. The results are used to construct new coordinate systems in which wave equations and Hamilton-Jacobi equations allow the separation of variables.Comment: 31 pages, Latex (+ latexsym

Stochastically Fluctuating Black-Hole Geometry, Hawking Radiation and the Trans-Planckian Problem

We study the propagation of null rays and massless fields in a black hole fluctuating geometry. The metric fluctuations are induced by a small oscillating incoming flux of energy. The flux also induces black hole mass oscillations around its average value. We assume that the metric fluctuations are described by a statistical ensemble. The stochastic variables are the phases and the amplitudes of Fourier modes of the fluctuations. By averaging over these variables, we obtain an effective propagation for massless fields which is characterized by a critical length defined by the amplitude of the metric fluctuations: Smooth wave packets with respect to this length are not significantly affected when they are propagated forward in time. Concomitantly, we find that the asymptotic properties of Hawking radiation are not severely modified. However, backward propagated wave packets are dissipated by the metric fluctuations once their blue shifted frequency reaches the inverse critical length. All these properties bear many resemblences with those obtained in models for black hole radiation based on a modified dispersion relation. This strongly suggests that the physical origin of these models, which were introduced to confront the trans-Planckian problem, comes from the fluctuations of the black hole geometry.Comment: 32 page